div {
  color: ie-hex-str(red) + "bar";
  color: "foo " + ie-hex-str(brown);
}